منابع مشابه
Why Amazon Chose TLA +
Since 2011, engineers at Amazon have been using TLA+ to help solve difficult design problems in critical systems. This paper describes the reasons why we chose TLA+ instead of other methods, and areas in which we would welcome further progress.
متن کاملWhy Nature Chose Selenium.
The authors were asked by the Editors of ACS Chemical Biology to write an article titled "Why Nature Chose Selenium" for the occasion of the upcoming bicentennial of the discovery of selenium by the Swedish chemist Jöns Jacob Berzelius in 1817 and styled after the famous work of Frank Westheimer on the biological chemistry of phosphate [Westheimer, F. H. (1987) Why Nature Chose Phosphates, Scie...
متن کامل...Plus la Même Chose
In the last editorial (‘plus ça change’—[1]), we briefly looked at some of the major changes in scholarly communication, and how some things hadn’t changed at all. This lack of change has frustrated all of those progressives who feel we’ve not even begun to take advantage of all the opportunities offered. It’s easy to sympathise, when you think of all the things we can now do with electronic sy...
متن کاملSoftware Development SRE Needs
Today’s software development environment requires tools and techniques for accurate, efficient evaluation of product reliability. To be successful, SRE must address the common, yet complex issues facing companies when assessing their product’s reliability, such as the large number of customer usage scenarios, limited reliability evaluation times, and comparisons with competing products.
متن کاملRecent Advances in SRE Research
The importance and the real potential of the Requirements Engineering is now being well recognized. A series of reversed as well as assorted researches are underway particularly on ‘ways to incorporate security right from the beginning’. Researchers are doing excellent work in this area. In this paper, we review current Secure Requirements Engineering (SRE) research and try to identify current ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin des Médecins Suisses
سال: 2019
ISSN: 1424-4012
DOI: 10.4414/bms.2019.18475